[$f$?$g$]($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if can{-}apply($f$;$x$) then $f$($x$) else $g$($x$) fi